10

The Control Kernel: A Contribution to Reactive Systems Modelling with VDM

Year:
1999
Language:
english
File:
PDF, 3.46 MB
english, 1999
11

Integrating Formal Methods in the Development Process of Distributed Systems

Year:
1998
Language:
english
File:
PDF, 1.47 MB
english, 1998
12

A Multiformalism Specification Framework with Statecharts and VDM

Year:
1997
Language:
english
File:
PDF, 1.40 MB
english, 1997